Knihy od autora Thomas A. Henzinger

Zobrazeno 1 – 9 z 9 výsledků

1. 

   Handbook of Model Checking

   Roderick Bloem, Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith | Springer International Publishing AG, 2018

   
   

   50 % šance - Prohledáme celý svět

   Jazyk: Angličtina

   Vazba: Pevná

   3486 Kč

   Koupit
2. 

   Embedded Software

   Thomas A. Henzinger, Christoph M. Kirsch | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2001

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1250 Kč

   Koupit
3. 

   Computational Methods in Systems Biology

   Ashutosh Gupta, Thomas A. Henzinger | Springer, Berlin, 2013

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1250 Kč

   Koupit
4. 

   Handbook of Model Checking

   Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem | Springer Nature Switzerland AG, 2019

   
   

   50 % šance - Prohledáme celý svět

   Jazyk: Angličtina

   Vazba: Brožovaná

   3832 Kč

   Koupit
5. 

   Computer Science Logic

   Jacques Duparc, Thomas A. Henzinger | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   2492 Kč

   Koupit
6. 

   Formal Modeling and Analysis of Timed Systems

   Krishnendu Chatterjee, Thomas A. Henzinger | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 14-21 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1355 Kč

   Koupit
7. 

   Mathematical and Engineering Methods in Computer Science

   Antonin Kucera, Thomas A. Henzinger, Jaroslav Nesetril, Tomas Vojnar | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1250 Kč

   Koupit
8. 

   Hybrid Systems III

   Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag | Springer, Berlin, 1996

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   2492 Kč

   Koupit
9. 

   Hybrid Systems: Computation and Control

   Thomas A. Henzinger, Shankar S. Sastry | Springer, Berlin, 1998

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1250 Kč

   Koupit

Knihy si můžete vyzvednout na mnoha místech po celé ČR. Zjistěte více